// 这些是dprintk_color的颜色宏定义
#define COLOR_WHITE		0x0f
#define COLOR_RED		0x0c
#define COLOR_GREEN		0x0a
#define COLOR_BLUE		0x09
#define COLOR_YELLOW	0x0e
#define COLOR_CYAN		0x0b
#define COLOR_PURPLE	0x0d
#define COLOR_GRAY		0x08
#define COLOR_DARK_RED	0x04
#define COLOR_DARK_GREEN 0x02
#define COLOR_DARK_BLUE	0x01
#define COLOR_DARK_YELLOW 0x06
#define COLOR_DARK_CYAN	0x03
#define COLOR_DARK_PURPLE 0x05
#define COLOR_DARK_GRAY 0x07
#define COLOR_BLACK		0x00
#define COLOR_DEFAULT	COLOR_LIGHT_GRAY
#define COLOR_LIGHT_GRAY 0x07
#define COLOR_LIGHT_YELLOW 0x0e